Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models

摘要

This paper describes, exemplifies and substantiates a method for detection of the minimal path set of any fault-tolerant technical system that is represented as a multi-domain object-oriented model. Thus, the method automatically performs a safety or reliability analysis of the system.